Name Venue Year citations
A Comparative Study of Stream Reasoning Engines. ESWC 2023 0
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies. IJCAI 2022 0
Ontology-Based Map Data Quality Assurance. ESWC 2021 1
HDT Bitmap Triple Indices for Efficient RDF Data Exploration. ESWC 2021 0
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics. ESWC 2021 0
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS 2020 14
Absorption-Based Query Answering for Expressive Description Logics. ISWC 2019 3
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018 12
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes. IJCAI 2018 1
Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI 2017 17
The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC 2016 10
Exploring Parallel Tractability of Ontology Materialization. ECAI 2016 0
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. JAIR 2015 4
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015 22
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI 2015 7
Abstraction Refinement for Ontology Materialization. ISWC 2014 31
The Energy Management Adviser at EDF. ISWC 2013 18
Nominal Schema Absorption. IJCAI 2013 16
Optimizing SPARQL Query Answering over OWL Ontologies. JAIR 2013 56
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. ISWC 2012 12
Cost Based Query Ordering over OWL Ontologies. ISWC 2012 10
SPARQL Query Answering over OWL Ontologies. ESWC 2011 122
Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI 2011 24
Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC 2011 5
Integrated Metamodeling and Diagnosis in OWL 2. ISWC 2010 64
Optimising Ontology Classification. ISWC 2010 43
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! JAIR 2010 56
SPARQL beyond Subgraph Matching. ISWC 2010 40
Status QIO: Conjunctive Query Entailment Is Decidable. KR 2010 12
Role Conjunctions in Expressive Description Logics. LPAR 2008 11
Unions of Conjunctive Queries in SHOQ. KR 2008 43
Conjunctive Query Answering for the Description Logic SHIQ. JAIR 2008 0
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007 308
Copyright ©2019 Universität Würzburg

Impressum | Privacy | FAQ